Binary function

Results: 315



#Item
191Mathematical logic / Implicant / Lookup table / Canonical form / Boolean satisfiability problem / Conjunctive normal form / Binary decision diagram / Truth table / Boolean function / Boolean algebra / Theoretical computer science / Mathematics

Improved SAT-Based Boolean Matching Using Implicants for LUT-Based FPGAs Jason Cong and Kirill Minkovich Computer Science Department University of California, Los Angeles Los Angeles, CA 90095, USA

Add to Reading List

Source URL: cadlab.cs.ucla.edu

Language: English - Date: 2007-02-13 15:10:27
192Functions and mappings / Binary decision diagram / Boolean algebra / Model checking / Models of computation / Datalog / Data-flow analysis / Function / Scope / Mathematics / Mathematical logic / Diagrams

Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2004-04-28 04:04:03
193Mathematics education / Number / Multiple representations / Numeral system / Subtraction / Analysis / Golden ratio / Addition / Function / Mathematics / Elementary arithmetic / Binary operations

STATE CURRICULUM – MATHEMATICS PREK – 3 STANDARD 1.0 KNOWLEDGE OF Algebra, Patterns, and Functions – Students will algebraically represent, model, analyze, or solve mathematical or real-world problems involving pa

Add to Reading List

Source URL: www.mdk12.org

Language: English - Date: 2010-06-28 23:12:20
194Space / Star / Pre-main-sequence star / Initial mass function / Scorpius-Centaurus Association / Hipparcos / Binary star / Hertzsprung–Russell diagram / Stellar evolution / Astronomy / Star types / Stellar astronomy

Pulsating Pre–Main-Sequence stars in the Upper Scorpius Association V. Ripepi1 , F. Palla2 , M. Marconi1 , G. Catanzaro3 (1) INAF-Oss. Astr. Capodimonte, Italy; (2) INAF-Oss. Astr. Arcetri, Italy; (3) INAF-Oss. Astr. C

Add to Reading List

Source URL: keplerscience.arc.nasa.gov

Language: English - Date: 2014-08-23 20:44:59
195Image processing / Functional analysis / Signal processing / Binary operations / Convolution / Function / Deconvolution / Fourier transform / Mathematical analysis / Mathematics / Fourier analysis

Mathematics LET Subcommands DECONVOLUTION DECONVOLUTION PURPOSE

Add to Reading List

Source URL: www.itl.nist.gov

Language: English - Date: 2013-11-27 15:34:12
196Elementary arithmetic / Binary operations / Exponentials / Logarithms / Elementary algebra / Fraction / Multiplication / Exponentiation / Exponential function / Mathematics / Elementary mathematics / Special functions

Answers for Examples in the Synopsis of the Math Placement Test[removed]Fractions: Preliminaries Write in lowest terms: We note that both the numerator and denominator are divisible by 4 and so the reduction is .

Add to Reading List

Source URL: www.mun.ca

Language: English - Date: 2011-10-20 12:58:47
197Equivalence relation / Binary relation / Inverse relation / Finitary relation / Partially ordered set / Function / Preorder / Relation algebra / Mathematics / Mathematical logic / Order theory

Virtual Laboratories > 0. Foundations >[removed][removed]Relations Definitions Suppose that S and T are sets. A relation from S to T is a subset of the product set S × T . As the name suggests, a relation

Add to Reading List

Source URL: www.math.uah.edu

Language: English - Date: 2014-07-11 06:44:33
198Notation / Lexicology / Computer arithmetic / Numeral systems / Binary numeral system / Elementary arithmetic / Binary clock / Binary code / Floating point / Binary arithmetic / Linguistics / Horology

Give Binary a Try! Provided by TryEngineering - www.tryengineering.org Lesson Focus Lesson focuses on how binary codes function and binary applications for computer engineers. The lesson offers students an activity to le

Add to Reading List

Source URL: www.tryengineering.org

Language: English - Date: 2014-02-11 10:30:46
199Subroutines / Calling convention / Pointer / Function prologue / Stack / Nios II / C / Nios embedded processor / Data structure alignment / Software engineering / Computing / Computer programming

Application Binary Interface, Nios II Processor Reference Handbook

Add to Reading List

Source URL: www.altera.com

Language: English - Date: 2014-02-14 18:17:39
200Boolean algebra / Binary arithmetic / Linear feedback shift register / Stream cipher / Advanced Encryption Standard / Boolean function / Computational complexity theory / Recurrence relation / Correlation attack / Cryptography / Mathematics / Pseudorandom number generators

On the Multi-output Filtering Model and Its Applications Guang Gong, Kalikinkar Mandal, Yin Tan and Teng Wu Department of Electrical and Computer Engineering University of Waterloo, Canada {ggong,kmandal,y24tan,teng.wu}@

Add to Reading List

Source URL: cacr.uwaterloo.ca

Language: English - Date: 2014-07-14 12:04:50
UPDATE